Fix /usr/local/lib/ocaml ownership (Closes: #982067)
authorStéphane Glondu <glondu@debian.org>
Wed, 11 Feb 2026 13:38:50 +0000 (14:38 +0100)
committerStéphane Glondu <glondu@debian.org>
Wed, 11 Feb 2026 13:45:00 +0000 (14:45 +0100)
debian/ocaml-base.dirs.in [new file with mode: 0644]
debian/ocaml-base.postinst.in [deleted file]
debian/ocaml-base.prerm.in [deleted file]

diff --git a/debian/ocaml-base.dirs.in b/debian/ocaml-base.dirs.in
new file mode 100644 (file)
index 0000000..7419761
--- /dev/null
@@ -0,0 +1 @@
+usr/local/lib/ocaml/@OCamlABI@/stublibs
diff --git a/debian/ocaml-base.postinst.in b/debian/ocaml-base.postinst.in
deleted file mode 100644 (file)
index 98ce5bb..0000000
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/sh
-set -e
-
-if [ ! -e /usr/local/lib/ocaml ]; then
-    if mkdir /usr/local/lib/ocaml 2>/dev/null; then
-       chown root:staff /usr/local/lib/ocaml
-       chmod 2775 /usr/local/lib/ocaml
-    fi
-fi
-if [ ! -e /usr/local/lib/ocaml/@OCamlABI@ ]; then
-    if mkdir /usr/local/lib/ocaml/@OCamlABI@ 2>/dev/null; then
-       chown root:staff /usr/local/lib/ocaml/@OCamlABI@
-       chmod 2775 /usr/local/lib/ocaml/@OCamlABI@
-    fi
-fi
-if [ ! -e /usr/local/lib/ocaml/@OCamlABI@/stublibs ]; then
-    if mkdir /usr/local/lib/ocaml/@OCamlABI@/stublibs 2>/dev/null; then
-       chown root:staff /usr/local/lib/ocaml/@OCamlABI@/stublibs
-       chmod 2775 /usr/local/lib/ocaml/@OCamlABI@/stublibs
-    fi
-fi
-
-#DEBHELPER#
diff --git a/debian/ocaml-base.prerm.in b/debian/ocaml-base.prerm.in
deleted file mode 100644 (file)
index 15a3aa7..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-set -e
-
-rmdir /usr/local/lib/ocaml/@OCamlABI@/stublibs 2>/dev/null || true
-rmdir /usr/local/lib/ocaml/@OCamlABI@ 2>/dev/null || true
-rmdir /usr/local/lib/ocaml 2>/dev/null || true
-
-#DEBHELPER#